Nuprl Definition : upto
0,22
postcript
pdf
upto(
n
) == if
n
=
0
nil else upto(
n
-1) @ [
n
-1] fi
(recursive)
latex
clarification:
upto(
n
) == if
n
=
0
nil else upto(
n
-1) @ ((
n
-1).nil) fi
(recursive)
latex
Definitions
as
@
bs
,
i
=
j
,
if
b
t
else
f
fi
,
Y
FDL editor aliases
upto
origin